SqStable(P) == (P)  P 

latex

Up	core 2, core 2
Wellformedness Lemmas	sq stable wf, sq stable wf
Definitions	P  Q, T
FDL editor aliases	sq_stable